Belief revision - PDFSEARCH.IO - Document Search Engine

Belief revision
Results: 146

#	Item
51	Hans van Ditmarsch EPS – Project numberfor public dissemination Add to Reading List Source URL: personal.us.es Language: English - Date: 2013-08-13 03:09:02 Mathematics Common knowledge Epistemic modal logic Probabilistic logic Kripke semantics Modal operator Dynamic logic Temporal logic Belief revision Logic Mathematical logic Modal logic
52	Revising Argumentation Systems: Argument Status Versus Graph Minimization Jean-Guy Mailly CRIL Université d’Artois – CNRS Lens, France Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2013-06-17 10:18:33 Thought Argumentation theory Critical thinking Criticism Debating Belief revision Structure Theory Science Logic Model theory
53	Revising Argumentation Systems: Argument Status Versus Graph Minimization Jean-Guy Mailly CRIL Université d’Artois – CNRS Lens, France Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2013-06-17 10:18:33 Thought Argumentation theory Critical thinking Criticism Debating Belief revision Structure Theory Science Logic Model theory
54	Social Revision vs Aggregation Doxastic influence Stability and flux Dynamics in the community Plausibility influence Further issues Add to Reading List Source URL: cmss.auckland.ac.nz Language: English - Date: 2013-03-22 22:30:30 Reasoning Science Knowledge Belief revision Logic Social influence Plausibility structure Belief Modal logic Doxastic logic
55	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
56	A A Model-theoretic Approach to Belief Change in Answer Set Programming JAMES DELGRANDE, Simon Fraser University TORSTEN SCHAUB, Universit¨at Potsdam HANS TOMPITS and STEFAN WOLTRAN, Technische Universit¨at Wien Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:47:43 Metalogic Model theory Non-classical logic Belief revision Interpretation Stable model semantics Entailment Constructible universe Logical connective Logic Mathematical logic Logic programming
57	Prolegomenon to a Theory of Conservative Belief Revision James P. Delgrande Abhaya C. Nayak Maurice Pagnucco∗ School of CSE School of Computing Science Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:38:27 Knowledge representation Interpretation Constructible universe Entailment Linear temporal logic Μ operator Logic Model theory Belief revision
58	Merging Logic Programs under Answer Set Semantics James Delgrande1 , Torsten Schaub2? , Hans Tompits3 , and Stefan Woltran3 1 Simon Fraser University, Burnaby, B.C., Canada V5A 1S6 Universit¨at Potsdam, August-Bebel-Str Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2010-05-31 18:49:07 Logic programming Model theory Functions and mappings Interpretation Entailment Symbol Logical connective Belief revision Function Logic Mathematics Metalogic
59	Belief Revision of Logic Programs under Answer Set Semantics∗ James Delgrande Torsten Schaub† Hans Tompits and Stefan Woltran Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:38:39 Mathematics Propositional calculus Charles Sanders Peirce Model theory Answer set programming If and only if Forcing Stable model semantics Belief revision Logic Mathematical logic Logic programming
60	A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:17:32 Knowledge representation Logic Logic programming Curry–Howard correspondence Constructible universe Forcing Computer science Conjugate element Mathematical logic Mathematics Belief revision